The script is in 'menu.js'. This is because I can call it from both the intro-page and the 'script'-page (what you are reading currently). You can
Download
a copy of this script.